Tracking Code Patterns over Multiple Software Versions with Herodotos Nicolas Palix DIKU University of Copenhagen Denmark

Source URL: coccinelle.lip6.fr

• Software
• Computing
• System software
• Formal languages
• Pattern matching
• Cryptographic software
• Cross-platform software
• OpenSSL
• Diff utility
• Software quality
• Software bug
• Regular expression

02157 Functional Programming - Sequences

Source URL: www.imm.dtu.dk

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Lazy evaluation
• Functional programming
• Evaluation strategy
• Technical University of Denmark
• Haskell
• Closure
• Q

ML pattern match compilation and partial evaluation? Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark

Source URL: repository.readscheme.org

• Functional languages
• Procedural programming languages
• Programming language comparisons
• Method
• Functional programming
• Term
• Pattern matching
• Constructor
• Standard ML
• ML
• JavaScript
• Map

02157 Functional Programming - Lecture 1: Introduction and Getting Started

Source URL: www.imm.dtu.dk

• Programming paradigms
• Functional languages
• Procedural programming languages
• Functional programming
• Declarative programming
• Technical University of Denmark
• Standard ML
• Imperative programming
• Programming language
• ML
• Procedural programming
• Lisp

Scheme on the Web and in the Classroom A Retrospective about the LAML Project Kurt Nørmark Department of Computer Science, Aalborg University, Denmark

Source URL: users-cs.au.dk

• Functional languages
• Markup languages
• Text editors
• Transformation languages
• Formal languages
• Lisp
• Emacs
• Scheme
• XML transformation language
• XSLT
• Abstract syntax tree
• Comment

Heiner Schumacher Fuglesangs Allé 4, Department of Economics and Business, 8210 Aarhus V, Denmark, Phone: , E-Mail: Personal Information: Languages: Research Interests:

Source URL: econ.au.dk

Early Nordic compilers and autocodes VersionofPeter Sestoft IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark

Source URL: www.itu.dk

• Procedural programming languages
• ALGOL 60
• ALGOL
• Autocode
• DASK
• Jrn Jensen
• High-level programming language
• Regnecentralen
• Electronic delay storage automatic calculator
• Pascal
• BESK
• Compiler

Written Examination DM 509 Programming Languages Department of Mathematics and Computer Science University of Southern Denmark Tuesday, January 12, 2010, 09:00 – 13:00

Source URL: www.imada.sdu.dk

DM 509 Programming Languages Fall 2010 Project (Part 1) Department of Mathematics and Computer Science University of Southern Denmark November 22, 2010

Source URL: www.imada.sdu.dk

Introduction to Supercompilation Morten Heine B. S
rensen and Robert Gluck Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1, DK-2100 Copenhagen , Denmark , glueck@diku.d

Source URL: repository.readscheme.org

• Higher-order functions
• Programming language comparisons
• Functional languages
• Refal
• Orders of magnitude
• Fold
• Substitution
• Ys
• Map
• Standard ML
• Haskell features